proof fundamental homomorphism